Logical Reasoning For Bitsat